free variables - определение. Что такое free variables
Diclib.com
Словарь ChatGPT
Введите слово или словосочетание на любом языке 👆
Язык:

Перевод и анализ слов искусственным интеллектом ChatGPT

На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:

  • как употребляется слово
  • частота употребления
  • используется оно чаще в устной или письменной речи
  • варианты перевода слова
  • примеры употребления (несколько фраз с переводом)
  • этимология

Что (кто) такое free variables - определение

CLASSIFICATION OF VARIABLES IN A LOGIC FORMULA BASED ON WHETHER OR NOT THEY ARE INSIDE THE SCOPE OF A QUANTIFIER
Free variable; Bound variable; Variable binding operation; Variable-binding operation; Free variables; Bound variables; Unbound variable; Unbound variables; Variable-binding operator; Variable binding operator; Free and bound variables; Bound variable clash; Free and bound variable; Placeholder (computer programming); Free variables & bound variables; Free occurrence; Placeholder variable; Apparent variable
  • Tree summarizing the syntax of the expression <math>\forall x\, ((\exists y\, A(x)) \vee B(z)) </math>
Найдено результатов: 3167
free variable         
1. A variable referred to in a function, which is not an argument of the function. In lambda-calculus, x is a {bound variable} in the term M = x . T, and a free variable of T. We say x is bound in M and free in T. If T contains a subterm x . U then x is rebound in this term. This nested, inner binding of x is said to "shadow" the outer binding. Occurrences of x in U are free occurrences of the new x. Variables bound at the top level of a program are technically free variables within the terms to which they are bound but are often treated specially because they can be compiled as fixed addresses. Similarly, an identifier bound to a recursive function is also technically a free variable within its own body but is treated specially. A closed term is one containing no free variables. See also closure, lambda lifting, scope. 2. In logic, a variable which is not quantified (see quantifier).
bound variable         
1. A bound variable or formal argument in a function definition is replaced by the actual argument when the function is applied. In the lambda abstraction x . M x is the bound variable. However, x is a free variable of the term M when M is considered on its own. M is the scope of the binding of x. 2. In logic a bound variable is a quantified variable. See quantifier.
Free Negro         
  • access-date=January 25, 2011}}</ref>
  • "Learning is wealth". Wilson, Charley, Rebecca, and Rosa. Mixed-race slaves from New Orleans
NON-SLAVE BLACK PERSON IN PRE-EMANCIPATION USA
Free Negroes; Free African American; Free black; Free African-American; Free blacks; Free negroes; Free negro; Free Blacks; Free Black
In the British colonies in North America and in the United States before the abolition of slavery in 1865, free Negro or free Black described the legal status of African Americans who were not enslaved. The term was applied both to formerly enslaved people (freedmen) and to those who had been born free (free people of color).
Chemical free         
TERM USED IN MARKETING
Chemical-free; Chemical-free consumer products; Draft:Chemical-free consumer products
Chemical free or chemical-free is a term used in marketing to imply that a product is safe, healthy or environmentally friendly because it only contains natural ingredients. From a chemist's perspective, the term is a misnomer, as all substances and objects are composed entirely of chemicals and energy.
Exchangeable random variables         
SEQUENCE OF RANDOM VARIABLES SUCH THAT, FOR ANY FINITE PERMUTATION OF THE INDICES, THE JOINT PROBABILITY DISTRIBUTION OF THE PERMUTED SEQUENCE EQUALS THAT OF THE ORIGINAL
Exchangeable events; Interchangeable random variables; Exchangeability; Exchangeable sequence; Exchangeable random variable; Exchangeable matrix; Exchangeable correlation matrix
In statistics, an exchangeable sequence of random variables (also sometimes interchangeable) is a sequence X1, X2, X3, ... (which may be finitely or infinitely long) whose joint probability distribution does not change when the positions in the sequence in which finitely many of them appear are altered.
Function of several real variables         
FUNCTION WITH MORE THAN ONE ARGUMENT, WITH ALL ARGUMENTS BEING REAL VARIABLES
Multivariate function; Real multivariate function; Several real variables; Real multivariable function; Functions of several real variables; Multi-variable function; Function of multiple real variables; Multivariable function
In mathematical analysis and its applications, a function of several real variables or real multivariate function is a function with more than one argument, with all arguments being real variables. This concept extends the idea of a function of a real variable to several variables.
free-range         
  • Baby free range [[chicken]] in the hand of a person in [[Ishwarganj Upazila]], [[Mymensingh]], [[Bangladesh]]
  • Small-scale free range farming in the [[Northern Black Forest]]
  • Free range meat chickens seek shade on a U.S. farm.
  • Free range ducks in [[Hainan]] Province, China
  • geese]] in Germany
  • Free range pigs in England
METHOD OF FARMING WHERE ANIMALS CAN ROAM FREELY OUTDOORS
Free-range; Free Range
¦ adjective (of livestock or their produce) kept or produced in natural conditions, where the animals have freedom of movement.
free-range         
  • Baby free range [[chicken]] in the hand of a person in [[Ishwarganj Upazila]], [[Mymensingh]], [[Bangladesh]]
  • Small-scale free range farming in the [[Northern Black Forest]]
  • Free range meat chickens seek shade on a U.S. farm.
  • Free range ducks in [[Hainan]] Province, China
  • geese]] in Germany
  • Free range pigs in England
METHOD OF FARMING WHERE ANIMALS CAN ROAM FREELY OUTDOORS
Free-range; Free Range
Free-range means relating to a system of keeping animals in which they can move and feed freely on an area of open ground.
...free-range eggs.
ADJ: usu ADJ n
Free content         
  • Creative Commons logo
  • Copyleft symbol
  • Copyright symbol
  • Khmer]], that the image is open content.
  • Open Knowledge Foundation
  • Logo of the [[Open Source Hardware Association]]
  • Public Library of Science}}
  • [[Open Content Alliance]] logo
  • Open Content Project logo, 1998
  • OSI logo
  • Public domain logo
CREATIVE WORK WITH FEW OR NO RESTRICTIONS ON HOW IT MAY BE USED
OpenContent; Open content; Open content movement; Common content; Open Content; Open-content; Free-content; Content freedom; Free licensing; Free content license; Free content licence; Open content license; Free use; Free (content); Free image; Free picture; Free photo; Open-source content; Freely licensed; Freely licenced; Free (copyright law); Free Content; Free info; Libre information; Free access; Libre content; Open licensing; Free-use; Open Licence; Free contents; Open source content; Libre knowledge; Freely licensing
Free content, libre content, libre information, or free information, is any kind of functional work, work of art, or other creative content that meets the definition of a free cultural work.
Open Content License         
  • Creative Commons logo
  • Copyleft symbol
  • Copyright symbol
  • Khmer]], that the image is open content.
  • Open Knowledge Foundation
  • Logo of the [[Open Source Hardware Association]]
  • Public Library of Science}}
  • [[Open Content Alliance]] logo
  • Open Content Project logo, 1998
  • OSI logo
  • Public domain logo
CREATIVE WORK WITH FEW OR NO RESTRICTIONS ON HOW IT MAY BE USED
OpenContent; Open content; Open content movement; Common content; Open Content; Open-content; Free-content; Content freedom; Free licensing; Free content license; Free content licence; Open content license; Free use; Free (content); Free image; Free picture; Free photo; Open-source content; Freely licensed; Freely licenced; Free (copyright law); Free Content; Free info; Libre information; Free access; Libre content; Open licensing; Free-use; Open Licence; Free contents; Open source content; Libre knowledge; Freely licensing
The Open Content License is a share-alike public copyright license by Open Content Project in 1998. The license can be applied to a work to make it open content.

Википедия

Free variables and bound variables

In mathematics, and in other disciplines involving formal languages, including mathematical logic and computer science, a free variable is a notation (symbol) that specifies places in an expression where substitution may take place and is not a parameter of this or any container expression. Some older books use the terms real variable and apparent variable for free variable and bound variable, respectively. The idea is related to a placeholder (a symbol that will later be replaced by some value), or a wildcard character that stands for an unspecified symbol.

In computer programming, the term free variable refers to variables used in a function that are neither local variables nor parameters of that function. The term non-local variable is often a synonym in this context.

An instance of a variable symbol is bound, in contrast, if the value of that variable symbol has been bound to a specific value or range of values in the domain of discourse or universe. This may be achieved through the use of logical quantifiers, variable-binding operators, or an explicit statement of allowed values for the variable (such as, "...where n {\displaystyle n} is a positive integer".) A variable symbol overall is bound if at least one occurrence of it is bound.pp.142--143 Since the same variable symbol may appear in multiple places in an expression, some occurrences of the variable symbol may be free while others are bound,p.78 hence "free" and "bound" are at first defined for occurrences and then generalized over all occurrences of said variable symbol in the expression. However it is done, the variable ceases to be an independent variable on which the value of the expression depends, whether that value be a truth value or the numerical result of a calculation, or, more generally, an element of an image set of a function.

Note that while the domain of discourse in many contexts is understood, when an explicit range of values for the bound variable has not been given, it may be necessary to specify the domain in order to properly evaluate the expression. For example, consider the following expression in which both variables are bound by logical quantifiers:

This expression evaluates to false if the domain of x {\displaystyle x} and y {\displaystyle y} is the real numbers, but true if the domain is the complex numbers.

The term "dummy variable" is also sometimes used for a bound variable (more commonly in general mathematics than in computer science), but this should not be confused with the identically named but unrelated concept of dummy variable as used in statistics, most commonly in regression analysis.